(GRINDEF MATCH)


(DEFPROP MATCH 
 (LAMBDA(CANSYMNUM REDSYM REDNUM DSCR)
  (COND ((NULL REDSYM) NN)
	(T (SETQ SYMG (CAR CANSYMNUM))
	   (SETQ NUMG (CDR CANSYMNUM))
	   (SETQ UNSPECFOUNDG NIL)
	   (COND
	    ((AND (CNDFORM REDSYM)
		  (MATCHNODE REDSYM
 			     REDNUM
			     (SETQ EQTABLEG (CAR DSCR))
			     (SETQ INEQTABLEG (CADR DSCR))
			     (CDDR DSCR)))
	     (COND (UNSPECFOUNDG (SETQ REDSYM (CAR UNSPECFOUNDG))
				 (SETQ REDNUM (CDR UNSPECFOUNDG))
				 (SETQ UNSPECFOUNDG NIL))
		   (T NIL))
	     ((LAMBDA(CANSYM INEQTABLE SEEN)
	       ((LAMBDA(CONCNUM ALTNUM PARAMS EQTABLE)
		 ((LAMBDA
		   (TRUECASEDSCR FALSECASEDSCR)
		   (MAKECNDFORM (CAR REDSYM)
				(CAR REDNUM)
				(MATCH
				 (REMOVEDUPS CANSYM
 					     CONCNUM
					     (CDDR TRUECASEDSCR)
					     (CAR TRUECASEDSCR)
					     (CADR TRUECASEDSCR))
				 (CADDR REDSYM)
				 (CADDR REDNUM)
				 TRUECASEDSCR)
				(MATCH
				 (REMOVEDUPS CANSYM
 					     ALTNUM
					     (CDDR FALSECASEDSCR)
					     (CAR FALSECASEDSCR)
					     (CADR FALSECASEDSCR))
				 (CDDDR REDSYM)
				 (CDDDR REDNUM)
				 FALSECASEDSCR)))))
		(BREADTHTODEPTH NUMG
				(SETQ MAXSEENTEMPG
				      (SETQ
				       MAXASSIGNG
				       (CAAR REDNUM)))
				(LIST
				 (CONS (CAAR REDNUM) (CAAR REDNUM))
				 (CONS 0 0)))
		(BREADTHTODEPTH NUMG
				(SETQ MAXSEENTEMPG (CAAR REDNUM))
				(LIST
				 (CONS (CAAR REDNUM) MAXASSIGNG)
				 (CONS 0 0)))
		(GETUPDATEPARAMS (CAR REDSYM) (CAR REDNUM))
		EQTABLEG)))))))) 
EXPR)

NIL 
*